1181. Uncertainty in knowledge bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, proceedings
المؤلف: B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, eds
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Uncertainty )Information theory(,Congresses ، Data base management
رده :
QA
76
.
L4
v
.
521
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1182. Uncertainty in knowledge bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'90, Paris, France, July 2-6, 1990
المؤلف: B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, eds
المکتبة: (طهران)
موضوع: Congresses ، Uncertainty )Information theory(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
521
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1183. Uncertainty in knowledge bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, proceedings
المؤلف: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, )3rd, 0991, Paris, France(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Uncertainty )Information theory(-- Congresses,، Data base management-- Congresses
رده :
Q
375
.
I58
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1184. Uncertainty in knowledge bases: 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, proceedings
المؤلف: B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, eds
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Uncertainty )Information theory(,Congresses ، Data base management
رده :
Q
375
.
I58
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1185. Uncertainty modelling and analysis : theory and applications
المؤلف: edited by Bilal M. Ayyub, Madan M. Gupta
المکتبة: (طهران)
موضوع: Congresses ، Mathematical models,Congresses ، Uncertainty )Information theory(,Congresses ، Probabilities
رده :
QA
401
.
U54
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1186. Understanding Economic Behaviour
المؤلف: edited by Klaus G. Grunert, Folke Ölander.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Decision making -- Congresses.,Economics -- Psychological aspects -- Congresses.,Economics.
رده :
HB74
.
P8
E358
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1187. Universal access in human-computer interaction :
المؤلف: Margherita Antona, Constantine Stephanidis (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Human-computer interaction, Congresses.,Virtual reality, Congresses.,Human-computer interaction.,Virtual reality.
رده :
QA76
.
9
.
H85
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1188. Verification and evaluation of computer and communication systems :
المؤلف: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1189. Verification of infinite-state systems with applications to security /
المؤلف: edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.
رده :
Q295
.
N38
2005eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1190. Verified software :
المؤلف: Ruzica Piskac, Philipp Rümmer (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1191. Web and internet economics :
المؤلف: George Christodoulou, Tobias Harks (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks-- Economic aspects, Congresses.,Electronic commerce, Congresses.,Game theory, Congresses.,Internet-- Economic aspects, Congresses.,Computational complexity.,Computer science.,Computer software.
رده :
QA76
.
9
.
A43
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1192. Web and wireless geographical information systems :
المؤلف: Miguel R. Luaces, Farid Karimipour (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
رده :
G70
.
212
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1193. Web, artificial intelligence and network applications :
المؤلف: editors, Leonard Barolli, Makoto Takizawa, Fatos Xhafa and Tomoya Enokido.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computer networks, Congresses.,Information networks, Congresses.,Web databases, Congresses.,Artificial intelligence.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information networks.,Web databases.
رده :
TK5105
.
5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1194. Webble technology :
المؤلف: Oksana Arnold [and others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Internet -- Congresses.,Multimedia systems -- Congresses.,World Wide Web -- Congresses.
![](/design/images/bookmore.png)
1195. Where semantics meets pragmatics /
المؤلف: edited by Klaus von Heusinger, Ken Turner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Pragmatics, Congresses.,Semantics (Philosophy), Congresses.,PHILOSOPHY-- Language.,Pragmatics.,Semantics (Philosophy)
رده :
P325
.
W45
2006eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1196. Who will do the science of the future? :
المؤلف: National Academy of Sciences, Committee on Women in Science and Engineering, Office of Scientific and Engineering Personnel, National Research Council.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Women in science, Congresses.,Women scientists-- Vocational guidance, Congresses.,Women scientists, Congresses.,Science.,Women.,SCIENCE-- Essays.,SCIENCE-- Nanoscience.,SCIENCE-- Reference.,Women in science.,Women scientists-- Vocational guidance.,Women scientists.
رده :
Q130
.
W48
2000eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1197. Why language matters for theory of mind /
المؤلف: edited by Janet Wilde Astington, Jodie A. Baird
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Children-- Language, Congresses,Philosophy of mind in children, Congresses
رده :
BF723
.
P48
W59
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1198. Wireless and mobile networking :
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mobile communication systems, Congresses.,Wireless communication systems, Congresses.,Informatique.,Mobile communication systems.,Wireless communication systems.
رده :
TK5103
.
2
.
I35
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1199. Wireless and satellite systems :
المؤلف: Min Jia, Qing Guo, Weixiao Meng (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Wireless communication systems, Congresses.,Wireless communication systems.
رده :
TK5103
.
2
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
1200. Wireless personal communications
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mobile communication systems-- Congresses,، Cellular radio-- Congresses,، Digital communictions-- Congresses
رده :
TK
6570
.
M6
.
W57
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)